In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.

Decaying wood, while an abundant and stable resource, presents considerable nutritional challenges due to its structural rigidity, chemical recalcitrance, and low nitrogen content. Despite these challenges, certain insect lineages have successfully evolved saproxylophagy (consuming and deriving sustenance from decaying wood), impacting nutrient recycling in ecosystems and carbon sequestration dynamics. This study explores the uneven phylogenetic distribution of saproxylophagy across insects and delves into the evolutionary origins of this trait in disparate insect orders. Employing a comprehensive analysis of gut microbiome data, (...) from both saproxylophagous insects and their non‐saproxylophagous relatives, including new data from unexplored wood‐feeding insects, this Hypothesis paper discusses the broader phylogenetic context and potential adaptations necessary for this dietary specialization. The study proposes the “Detritivore‐First Hypothesis,” suggesting an evolutionary pathway to saproxylophagy through detritivory, and highlights the critical role of symbiotic gut microbiomes in the digestion of decaying wood. (shrink)

Annotated logics were introduced by V.S. Subrahmanian as logical foundations for computer programming. One of the difficulties of these systems from the logical point of view is that they are not structural, i.e., their consequence relations are not closed under substitutions. In this paper we give systems of annotated logics that are equivalent to those of Subrahmanian in the sense that everything provable in one type of system has a translation that is provable in the other. Moreover these new systems (...) are structural. We prove that these systems are weakly congruential, namely, they have an infinite system of congruence 1-formulas. Moreover, we prove that an annotated logic is algebraizable (i.e., it has a finite system of congruence formulas,) if and only if the lattice of annotation constants is finite. (shrink)

We study the matrices, reduced matrices and algebras associated to the systems SAT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SAT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a (...) decision procedure for these logics. (shrink)

About Christian philosophy, by J. Maritain.--Von Hildebrand and Marcel: a parallel, by A. Jourdain.--Love and philosophy, by J. V. Walsh.--The concepts of cyclic and evolutionary time, by B. de Solages.--The sovereignty of the object; notes on truth and intellectual humility, by A. Kolnai.--Authentic humanness and its existential primordial assumptions, by C. Marcel.--Individuality and personality, by M. F. Sciacca.--Can a will be essentially good? By H. de Lubac.--Reason and revelation on the subject of charity, by R. W. Gleason.--Technique of spiritualization and (...) transformation in Christ, by J. A. Cuttat.--Some reflections on gratitude, by B. V. Schwarz.--Bibliography of the works of Dietrich Von Hildebrand (p. 195-210). (shrink)

While the link between servant leadership and organizational citizenship behavior has been established, the individual-level mechanisms underlying this relationship and its boundary conditions remain poorly understood. In this study, we investigate the salience of the mediating mechanisms of leader–member exchange and psychological empowerment in explaining the process by which servant leaders elicit discretionary OCB among followers. We also examine the role of followers’ proactive personality in moderating the indirect effects of servant leadership on OCB through LMX and psychological empowerment. Analysis (...) of survey data collected from 446 supervisor–subordinate dyads in a large Chinese state-owned enterprise suggests that while servant leadership is positively related to subordinate OCB through LMX, psychological empowerment does not explain any additional variance in OCB above that accounted for by LMX. Moderated mediation tests confirm the moderating effect of proactive personality through LMX. By providing a nuanced understanding of how and when servant leadership leads followers to go above and beyond their job role, our study assists organizations in deciding how to develop and utilize servant leaders in their organizations. (shrink)

As a reply to the questions raised by Roberto Schwarz in "O lugar da arquitetura", the author shows that because it is interested art by definition, architecture cannot be confined to the private domain of esthetic contemplation. Besides, one cannot lose sight of its mass character, to which the ideological destiny of the Modern Movement is not indifferent, not because architecture has been neutralized by changes in the times, but because it has fulfilled its promise.Em resposta às questões levantadas (...) por Roberto Schwarz em "O lugar da arquitetura", a autora mostra que por ser arte interessada por definição, a arquitetura não pode ser confinada ao domínio privado do recolhimento estético. Além disso, não se pode perder de vista o seu caráter de massa, ao qual não é indiferente o destino ideológico do Movimento Moderno, não porque tenha sido neutralizada pela mudança dos tempos, mas por ter cumprido o que prometera. (shrink)

As a reply to the questions raised by Roberto Schwarz in "O lugar da arquitetura", the author shows that because it is interested art by definition, architecture cannot be confined to the private domain of esthetic contemplation. Besides, one cannot lose sight of its mass character, to which the ideological destiny of the Modern Movement is not indifferent, not because architecture has been neutralized by changes in the times, but because it has fulfilled its promise.Em resposta às questões levantadas (...) por Roberto Schwarz em "O lugar da arquitetura", a autora mostra que por ser arte interessada por definição, a arquitetura não pode ser confinada ao domínio privado do recolhimento estético. Além disso, não se pode perder de vista o seu caráter de massa, ao qual não é indiferente o destino ideológico do Movimento Moderno, não porque tenha sido neutralizada pela mudança dos tempos, mas por ter cumprido o que prometera. (shrink)

Physical arguments stemming from the theory of black-hole thermodynamics are used to put constraints on the dynamics of closed-string tachyon condensation in Scherk–Schwarz compactifications. A geometrical interpretation of the tachyon condensation involves an effective capping of a noncontractible cycle, thus removing the very topology that supports the tachyons. A semiclassical regime is identified in which the matching between the tachyon condensation and the black-hole instability flow is possible. We formulate a generalized correspondence principle and illustrate it in several different (...) circumstances: an Euclidean interpretation of the transition from strings to black holes across the Hagedorn temperature and instabilities in the brane-antibrane system. (shrink)

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...) take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected]. (shrink)

One of the reasons provided for the shift away from an ontology for physical reality of material objects & properties towards one of physical structures & relations (Ontological Structural Realism: OntSR) is that the quantum-mechanical description of composite physical systems of similar elementary particles entails they are indiscernible. As material objects, they 'whither away', and when they wither away, structures emerge in their stead. We inquire into the question whether recent results establishing the weak discernibility of elementary particles pose a (...) threat for this quantum-mechanical reason for OntSR, because precisely their newly discovered discernibility prevents them from 'whithering away'. We argue there is a straightforward manner to consider the recent results as a reason in favour of OntSR rather than against it. (shrink)

We discuss the case against Factorism, which is the standard assumption in quantum mechanics that the labels of the $$\otimes$$ ⊗ -factor Hilbert-spaces in direct-product Hilbert-spaces of composite physical systems of similar particles refer to particles, either directly or descriptively. We distinguish different versions of Factorism and argue for their truth or falsehood. In particular, by introducing the concepts of snapshot Hilbert-space and Schrödinger-movie, we demonstrate that there are Hilbert-spaces and $$\otimes$$ ⊗ -factorisations where the labels do refer, even descriptively, (...) to similar particles, which renders them probabilistically absolutely discernible. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

In a recent issue of this journal, M. Frisch claims to have proven that classical electrodynamics is an inconsistent physical theory. We argue that he has applied classical electrodynamics inconsistently. Frisch also claims that all other classical theories of electromagnetic phenomena, when consistent and in some sense an approximation of classical electrodynamics, are haunted by “serious conceptual problems” that defy resolution. We argue that this claim is based on a partisan if not misleading presentation of theoretical research in classical electrodynamics.

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

Alan Musgrave, Michael Friedman, Jeffrey Foss, and Richard Creath raised different objections against the Distinction between observables and unobservables when drawn within the confines of Bas C. van Fraassen's Constructive Empiricism, to the effect that the Distinction cannot be drawn there coherently. Van Fraassen has only responded to Musgrave but Musgrave claimed not to understand van Fraassen's succinct response. I argue that van Fraassen's response is not enough. What remains in the end is an unsolved problem which CE cannot afford (...) to leave unsolved, or so I argue; I then strengthen Musgrave's criticism and indicate that an extension of the epistemic policy of CE is mandatory to solve the problem. I also argue that Friedman's and Foss' objection against the Distinction in CE misses the mark on closer inspection. An objection due to Creath does hit the mark but can be taken care of without too much ado. All these objections seem alive and kicking until the present day; I try to put them all to rest. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

In the spirit of B. C. van Fraassen's view of science called Constructive Empiricism, we propose a scientific criterion to decide whether a concrete object is observable, as well as a coextensive scientific-philosophical definition of observability, and we sketch a rigorous account of modal language occurring in science. We claim that our account of observability solves three problems to which current accounts of observability, notably van Fraassen's own accounts, give rise. We further claim that our account of modal propositions (subjunctive (...) conditionals included), which proceeds wholly within the framework of the semantic view on scientific theories, grounds his claim that such an account is possible without relying on ‘inflationary metaphysics’, notably without postulating an infinitude of different universes besides the universe we inhabit. We thus claim to solve a fourth problem: how to give a precise nominalist account of modal language in science tailor-made for Constructive Empiricism. Introduction: Rough Guides The semantic view and the wave theory of light A scientific guide and a scientific criterion A New Rough Guide and a definition The Context Problem and Psillos' Problem Musgrave's Problem Modality without inflationary metaphysics Exitum. (shrink)

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it (...) is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles. (shrink)

First published in 1982. Routledge is an imprint of Taylor & Francis, an informa company.

The notorious ‘measurement problem’ has been roving around quantum mechanics for nearly a century since its inception, and has given rise to a variety of ‘interpretations’ of quantum mechanics, which are meant to evade it. We argue that no less than six problems need to be distinguished, and that several of them classify as different types of problems. One of them is what traditionally is called ‘the measurement problem’. Another of them has nothing to do with measurements but is a (...) profound metaphysical problem. We also analyse critically Maudlin’s (Topoi 14:7–15, 1995) well-known statement of ‘three measurements problems’, and the clash of the views of Brown (Found Phys 16:857–870, 1986) and Stein (Maximal of an impossibility theorem concerning quantum measurement. In: R. S. Cohen et al. (Eds.), Potentiality, entanglement and passion-at-a-distance, 1997) on one of the six measurement problems. Finally, we summarise a solution to one measurement problem which has been largely ignored but tacitly if not explicitly acknowledged. (shrink)

Over the past years, in books and journals (this journal included), N. Maxwell launched a ferocious attack on B. C. van Fraassen’s view of science called Constructive Empiricism (CE). This attack has been totally ignored. Must we conclude from this silence that no defence is possible and that a fortiori Maxwell has buried CE once and for all? Or is the attack too obviously flawed as not to merit exposure? A careful dissection of Maxwell’s reasoning will make it clear that (...) neither is the case. This dissection includes an analysis of Maxwell’s ‘aberrance–argument’ (omnipresent in his many writings) for the claim that science implicitly and permanently accepts a substantial, metaphysical thesis about the universe, which then paves the way for his own metaphysical-realist hierarchy-view of science. This aberrance-claim, which Maxwell directs against a widely shared and harmful ideology of science called ‘Standard Empiricism’, generally has been ignored too, for more than a quarter of a century. Our conclusions will be that (i) Maxwell’s attacks on CE can be beaten off, and (ii) his ‘aberrance–arguments’ do not establish what Maxwell believes they establish, but (iii) we can draw a number of valuable lessons from these attacks about the nature of science and of the libertarian nature of CE. (shrink)

The quest for finding the right interpretation of Quantum Mechanics is as old as QM and still has not ended, and may never end. The question what an interpretation of QM is has hardly ever been raised explicitly, let alone answered. We raise it and answer it. Then the quest for the right interpretation can continue self-consciously, for we then know exactly what we are after. We present a list of minimal requirements that something has to meet in order to (...) qualify as an interpretation of QM. We also raise, as a side issue, the question how the discourse on the interpretation of QM relates to hermeneutics in Continental Philosophy. (shrink)

This article is a translation into english of a lecture given by paneth in 1931. The content of the work is described by the section titles: (1) the need for epistemological clarification of the fundamental concepts of chemistry, (2) the concept of substance in chemistry, (3) the epistemological standpoint of the ancient atomists, (4) the epistemological position of the concept of element introduced by lavoisier, (5) the double meaning of the chemical concept of element: 'basic substance' and 'simple substance', And (...) (6) the double meaning of other chemical concepts. Sections (4)-(6) are published in the following number of this journal. (staff). (shrink)